Review of Wesley Salmon's Four Decades of Scientific Explanation.

In this comment on the work by Ulises Moulines I shall not refer to the interesting analysis of the ontological commitments that depends the treatment of the so-called «data models», nor shall I debate the general metaphysical principles proposed in his approach, adopting an experimentalist, instrumentalist, anti-realistic, positivist or empirical stance. I shall focus on the last part of his article in which he elaborates on the links between Wesley Salmon's causalist approach and the structuralist analysis of explanation (...) viewed as theoretical embedding, as he relates it to the structural analysis of the theoretical terms in light of a certain general shared understanding of epistemology's job. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

ABSTRACTSilencing is a practice that disrupts linguistic and communicative acts, but its relationship to knowledge and justice is not fully understood. Prior models of epistemic injustice tend to c...

RESUMO A Transferência de Embrião (TE) em bovinos se trata de uma técnica mundialmente disseminada com objetivo de aumentar a capacidade reprodutiva da fêmea. Mantém vínculo direto com outras técnicas das biotecnologias da reprodução, como, a Ovum Pick-Up (OPU), Produção In Vitro e In Vivo de embriões (PIVE) e Transferência de Embrião em Tempo Fixo (TETF), sendo estas, técnicas que fazem parte de um processo, que vai desde a seleção de doadoras, passando pelo preparo dos embriões até sua inovulação em (...) receptoras criteriosamente selecionadas. Com seu avanço, várias tecnologias de manejo vêm sendo implantadas: formas no transporte de embriões, protocolos de sincronização de doadoras e receptoras, e protocolos de recuperação de oócitos para produção de embriões. Isto infundiu a tecnologia, porém, os investimentos previstos para a produção de um animal de alto mérito genético limita sua utilização. Contudo, esta análise abordou avanços tecnológicos essenciais para o sucesso da TE, incluindo novos protocolos, sexagem de embriões, além do uso de embriões congelados Direct Transfer (DT) e vitrificados. No entanto, é claro que o sucesso do procedimento está no processo como um todo, em destaque ressalta-se que é de grande valia que o profissional apto a executar a técnica esteja sempre preparado e atualizado garantindo qualidade, eficiência e sustentabilidade na pecuária. Esta revisão foi desenvolvida com o propósito de adquirir conhecimento teórico, de forma detalhada e crítica, nas técnicas e procedimentos de Transferência de Embriões em bovinos, incluindo a colheita, manipulação e implantação de embriões. Palavras-chaves: Bovino, doadora, embrião, receptora. ABSTRACT Embryo Transfer (ET) in cattle is a globally widespread technique aimed at enhancing the reproductive capacity of females. It is closely linked to other techniques in reproductive biotechnologies, such as Ovum Pick-Up (OPU), In Vitro and In Vivo Embryo Production (PIVE), and Timed Embryo Transfer (TET), all of which are part of a process that ranges from donor selection, through embryo preparation, to their inoculation into carefully chosen recipients. With its advancement, various management technologies have been implemented: including methods for embryo transport, synchronization protocols for donors and recipients, and oocyte recovery protocols for embryo production. Although technology has been infused, the anticipated investments for producing animals of high genetic merit limit its widespread use. However, this analysis addressed essential technological advances for the success of ET, including new protocols, embryo sexing, as well as the use of frozen-thawed (DT) and vitrified embryos. Nevertheless, it is clear that the success of the procedure lies in the entire process. Notably, it emphasizes the significant value of having a qualified professional who is always prepared and updated to ensure quality, efficiency, and sustainability in livestock farming. This literary review was developed with the purpose of acquiring theoretical knowledge, in a detailed and critical way, on the techniques and procedures of Embryo Transfer in cattle, including the collection, manipulation and implantation of embryos. Keywords: Bovine, donor, embryo, recipient. -/- REFERÊNCIAS BIBLIOGRÁFICAS BARUSELLI, P.S; MADUREIRA, E.H. Controle farmacológico do ciclo estral em ruminantes. 2000, Anais.. São Paulo: Fundação da Faculdade de Medicina Veterinária e Zootecnia, USP, 2000. BARUSSELI, P.S. et al. Importância do emprego da eCG em protocolos de sincronização para IA, TE e SOV em tempo fixo. Biotecnologia de reprodução em bovinos (3° Simpósio Internacional de Reprodução Animal Aplicada). 2008. BRANDÃO, G.V.R. Revisão de Literatura: Transferência de Embrião em Bovinos. Curitibanos-SC, 2019. BUENO, A.P.; BELTRAN, M.P.; Produção in vitro de embriões bovinos. Revista Científica Eletrônica De Medicina Veterinária. ISSN 1679-7353, ano VI, n.11, Julho, 2008. CAETANO, S.G; SILVA, N.V.S. Inseminação artificial de bovnos em tempo fixo (IATF) – Revisão de literatura. UNIFUCAMP, Monte Carmelo- M.G, Junho, 2023. CARVALHO, V.H.S. et al. Impactos das biotécnicas da reprodução animal e o melhoramento genético na pecuária de corte. PUBVET, São Luis De Montes Belos, v.17, n.8, p.1-10, 2023 DANTAS, K.S.A.; NUNES, C. C. C.; FERREIRA, J.; DANTAS, R. A. A. Seleção de receptoras em um programa de transferência de embriões (PIVE) em bovinos no Nordeste do Brasil. Ciência Animal, Fortaleza, v. 28, p. 1-14, 2018. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia do ciclo estral dos animais domésticos. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Transferência de Embriões nos Animais e a Indústria de Embriões no Brasil. DIAS, L.R.O. Fatores que afetam a produção de embriões pela Transferência Intrafolicular de Ovócitos Imaturos (TIFOI) em bovinos. 2021. 85 f. Tese (Doutorado em [nome do programa]) - Faculdade de Agronomia e Medicina Veterinária, Universidade de Brasília, Brasília, 2021. DOMINGUES, P.F.; LANGONI, H. Manejo Sanitário Animal. Editora de Publicações Biomédicas Ltda - EPUB, Rio de Janeiro, 2001. 209 p. EMBRAPA. MINERAIS NA EFICIÊNCIA REPRODUTIVA DE BOVINOS. SÃO CARLOS- SÃO PAULO 2008. FIDELIS, C.A.S. Inseminação artificial em tempo fixo intracornual profunda em bovinos. Dissertação (mestrado acadêmico). Araguaína - TO, 2019. GONÇALVES, R.L.R.; VIANA, J.H.M. Situação atual da produção de embriões bovinos no Brasil e no mundo. In: Anais do XXIII Congresso Brasileiro de Reprodução Animal, 2019, Gramado, RS, 2019, p. 156-159. GOUVEIA, F.F. A Produção in vitro de embriões Bovinos. Monografia (Conclusão do curso de Medicina Veterinária) – Faculdade de Agronomia e Medicina Veterinária, Universidade de Brasília, Brasília, DF, 2011. GREGIANINI, J.T.F. et al. Avaliação de embriões bovinos utilizando sêmen sexado e convencional. In: SEMINÁRIO DA EMBRAPA ACRE DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO, 4., 2021, Rio Branco, AC. Atividades agropecuárias e florestais para o desenvolvimento sustentável da Amazônia: Anais... Rio Branco, AC: Embrapa Acre, 2022. Pôster. GUARDA, A.C.A. Biotecnologia na reprodução animal: Uma visão teórico/prática de produção in vitro de embriões bovino. 2023. 28p. Trabalho de Conclusão de curso (Bacharelado de Zootecnia). Instituto Federal de Educação, Ciência e Tecnologia Goiano – Câmpus Rio Verde, Rio Verde, GO, 2023. HAFEZ, E.S.E.; HAFEZ. Reprodução animal / [coordenador de tradução da 7. ed. original Renato Campanarut Barnabe]. – Barueri, SP : Manole, 2004, il.; HONORATO, M.T. et al. Importância da escolha de receptoras em um programa de transferência de embriões em bovinos. PUBVET, Londrina, V. 7, N. 19, Ed. 242, Art. 1601, Outubro, 2013. HOPPER, R.M. Bovine Reproduction. Wiley Blackwell, Capítulo 78, p. 723-733, 2015. LIMA, Fabio Junior Arruda. Transferência de embriãos em tempo fixo em bovinos: Relato de Caso. Trabalho de Conclusão de Curso (graduação em medicina veterinária)- Universidade Federal de Santa Catarina-Campus Curitibanos. Curitibanos, 2018. MACHADO, R. et al. Metodologia para obtenção de concepto bovino. Embrapa Pecuária Sudeste, ISSN 1981-2078, São Carlos-SP, 2009. Disponível em:. Acessado em 11 de outubro, 2023 BASTOS, M.R. et al. Criopreservação de embriões bovinos produzidos in vitro. In: MENDONÇA, P. P. et al. (Org.). Tópicos Especiais em Ciência Animal XI. 1. ed. Alegre: CAUFES, 2022. Capítulo 13. MELO, R. et al. Utilização de ECG e FSH em protocolos de superovulação em bovinos. Manejo, Nutrição e Produção Animal: Tópicos Atuais em Pesquisa, v. 1, n. 1, p. 110-116, 2023. OLIVEIRA, C.S. et al. Biotécnicas da Reprodução em Bovinos. EMBRAPA, 2014. PASA, C. Transferência de embriões em bovinos. Biodiversidade, v. 7, n. 1, 2008. PAZZIM, L.V.L. Transferencia de embriões em bovinos: Revisão de literatura. Monografia (Trabalho conclusão de curso) - Universidade federal de Santa Catarina. Curitibanos, 2021. PENITENTE FILHO, J.M. et al. Produção de embriões bovinos in vivo e in vitro. Revista CFMV, Ano XX, p. 73-82, 2014. PENITENTE FILHO, J.M. Produção de Embriões Bovinos In Vivo e In Vitro. 2011. 22 f. Monografia (Especialização) - Curso de Medicina Veterinária, UFV, Viçosa, 2011. PILLA, L.F.C. Congelamento ultra-rapido de embriões bovinos com etilenoglicol associado ou não a trealose. 2005. 37f. Dissertação (Mestrado em Area de concentração em Fisiopatologia da Reprodução), Universidade Federal de Santa Maria, Santa Maria. RIBEIRO, L.V.P.; RIGOLON, L.P.; CAVALIERI, F.L.B.; SEKO, M.B.; MARTINEZ, A.C.; RIBEIRO, M.G.; MARTINS, R.R.; ÁVILA, M.R.; DE CONTI, J.B. Recuperação de oócitos e recuperação in vitro de embriões de vacas estimuladas com FSH ou eCG. Archivos de zootecnia. v. 60, n. 232, p. 1021-1029, 2011. ROCHA, J.R.; SANTOS, L.M. As vantagens da sexagen de embriões em bovinos. Revista científica eletrônica de medicina veterinária, ano IV, n.8, janeiro de 2007. RUBIN, M.I.B; Histórico dos 20 anos da Sociedade Brasileira de Tecnologia de Embriões, 2005. SANTOS, P.H. Impactos da superestimulação ovariana sore a diferenciação das celulas da grranulosa bovina. Dissertação de Mestrado em Farmacologia e Biotecnologia - UNESP. 2017. SEIDEL, G.E.J.; SEIDEL, S. M. Training manual for embryo transfer in cattle 2005. SENEDA, M.M.; ESPER, C.R.; GARCIA, J.M.; ANDRADE, E.R. Aspecto técnicos e biológicos da obtenção de oócitos bovinos: Revisão de Literatura. Ciências agrárias, Londrina, v. 23, n. 1, p. 101-110, 2002. SILVA, D.P.; TOLEDO, H.R.P.; SILVA, R.A.B.; CARVALHO, G.F.; MELO, A.F.; GARCIA, M.S.; et al. Transferência Intrafolicular de Ovócitos Imaturos (TIFOI): revisão de literatura. Zootecnia: Pesquisa e práticas contemporâneas - volume 2, 255-266, 2021. SPELL, A.R.; BEAL, W.E.; CORAH, L.R.; LAMB, G.C. Evaluating recipient and embryo factors that affect pregnancy rates of embryo transfer in beef cattle. Theriogenology, v. 56, p. 287-297, 2001. SPRÍCIGO, J.F.W.; DODE, M.A.N. Transferência Intrafolicular de Ovócitos Imaturos (TIFOI): uma Alternativa para Produção de Embriões Bovinos. Embrapa Recursos Genéticos e Biotecnologia, Brasília, 2016. VALLE, E.R. O ciclo estral de bovinos e os métodos de controle. EMBRAPA, 1991. VIANA, J.H.M. Classificação de embriões bovinos produzidos in vivo. Comunicado Técnico (EMBRAPA). ISSN 1678-3131, Juiz De Fora-MG, Novembro, 2009. VIANA, J.H.M. 2017 Statistics of embryo production and transfer in domestic farm animals: Is it a turning point? In 2017 more in vitro-produced than in vivo-derived embryos were transferred worldwide. Embryo Transfer Newsl, v.36(4), p.8-25, 2018. VIANA, J.H.M.; SIQUEIRA, L.G.; PALHAO, M.P.; CAMARGO, L.S.A.; Features and perspectives of the Brazilian in vitro embryo industry. Anim Reprod, v.9, p.12-18, 2012. WÜNSCHE JÚNIOR, A.G et al. Avaliação de uma segunda lavagem uterina sobre a recuperacão de embriões em vacas Nelore. Semina: Ciências Agrárias, Londrina, v. 29, n.3, p. 677-684, jul./set. 2008. (shrink)

After Wesley Salmon’s causal-mechanical stance on explanation in the 1980s, the ontic-epistemic debate of scientific explanations appeared to be resolved in the philosophy of science. However, since the twenty-first century, this debate has been rekindled among philosophers who focus on mechanistic explanations. Nevertheless, its issues have evolved, necessitating scrutiny of the new trends in this debate and a comparison with the original controversy between Carl Hempel and Salmon. The primary objective of this paper is to elucidate three (...) categorical dimensions in the ontic-epistemic debates, spanning from the original to the recent controversies. Subsequently, it will explore why the conception of explanation is linked to representations, what conditions are necessary for linguistic expressions to be explanatory, and what roles norms play in explanation. Consequently, contrary to the common stereotype, it will be argued that mechanistic explanations are more likely to be epistemic rather than ontic. (shrink)

¿Existe alguna diferencia filosóficamente significativa entre una explicación científica y las explicaciones que se ofrecen en el curso de la vida diaria? Dado que la mayor parte de las discusiones en la filosofía de la ciencia se refieren al primer tipo de explicaciones, debemos considerar si existe un concepto específico que corresponda al término “explicación científica”, y que sea discontinuo de su contraparte cotidiana. El ensayo tiene cuatro secciones. En cada una de ellas considero diferentes criterios que podrían ser utilizados (...) para establecer una distinción de clase entre las explicaciones científicas y las cotidianas. En la primera sección exploro la posibilidad de establecer un criterio puramente sociológico: el estatus científico de una explicación dependería del estatus institucional de las personas que dan origen a la explicación. El segundo criterio estudiado fue propuesto por Hempel: las explicaciones científicas deben hacer uso explícito de leyes naturales, y la ausencia de leyes invalida cualquier intento de ofrecer una explicación científica. Un tercer criterio se basa en la naturaleza del explanandum. Algunos filósofos han defendido la idea de que la única diferencia filosóficamente significativa entre las explicaciones científicas y las no científicas reside en el tipo de explanandum del que se ocupa cada una de ellas. En la vida diaria explicamos eventos individuales, mientras que en la ciencia se pretende explicar regularidades. Finalmente, examino el criterio propuesto por Wesley Salmon según el cual la diferencia entre los dos tipos de explicación está determinada por el tipo de comprensión que proporciona cada uno de ellos. Al final concluyo que ninguno de estos criterios es adecuado y que la aparente diferencia entre los dos tipos de explicaciones es una diferencia de grado y no de clase. Las explicaciones científicas ciertamente tienen un mayor grado de precisión, detalle y complejidad que sus contrapartes en la vida cotidiana. Normalmente involucran el uso de las matemáticas y de lenguajes altamente regimentados. Pero a pesar de estas diferencias, concluyo que los elementos que hacen que algo sea una explicación son esencialmente los mismos en ambos casos. (shrink)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian theory (...) primarily in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

This paper presents an attempt to integrate theories of causal processes—of the kind developed by Wesley Salmon and Phil Dowe—into a theory of causal models using Bayesian networks. We suggest that arcs in causal models must correspond to possible causal processes. Moreover, we suggest that when processes are rendered physically impossible by what occurs on distinct paths, the original model must be restricted by removing the relevant arc. These two techniques suffice to explain cases of late preëmption and (...) other cases that have proved problematic for causal models. (shrink)

Is all explanations causal explanation? Puzzles about barometer readings "explain" storms and shadow lengths "explaining" flagpole heights make it attractive to think so. Wesley Salmon (1984) has endorsed this causal thesis. One way to test this thesis is to assess the explanatory import of pseudo-processes. I do so by discussing the concept of heritability, which measures a pseudo-process, and one role it played in the theory of natural selection: explaining response to selection. This will show, not just that (...) heritability has heuristic or predictive utility, but that it can be explanatory. Possible responses to this case are also discussed. (shrink)

Cognitive neuroscience is an interdisciplinary enterprise aimed at explaining cognition and behavior. It appears to be succeeding. What accounts for this apparent explanatory success? According to one prominent philosophical thesis, cognitive neuroscience explains by discovering and describing mechanisms. This "mechanist thesis" is open to at least two interpretations: a strong metaphysical thesis that Carl Craver and David Kaplan defend, and a weaker methodological thesis that William Bechtel defends. I argue that the metaphysical thesis is false and that the methodological thesis (...) is too weak to account for the explanatory promise of cognitive neuroscience. My argument draws support from a representative example of research in this field, namely, the neuroscience of decision-making. The example shows that cognitive neuroscience explains in a variety of ways and that the discovery of mechanisms functions primarily as a way of marshaling evidence in support of the models of cognition that are its principle unit of explanatory significance. -/- The inadequacy of the mechanist program is symptomatic of an implausible but prominent view of scientific understanding. On this view, scientific understanding consists in an accurate and complete description of certain "objective" explanatory relations, that is, relations that hold independently of facts about human psychology. I trace this view to Carl Hempel's logical empiricist reconceptualization of scientific understanding, which then gets extended in Wesley Salmon's causal-mechanistic approach. I argue that the twin objectivist ideals of accuracy and completeness are neither ends we actually value nor ends we ought to value where scientific understanding is concerned. -/- The case against objectivism motivates psychologism about understanding, the view that understanding depends on human psychology. I propose and defend a normative psychologistic framework for investigating the nature of understanding in the mind sciences along three empirically-informed dimensions: 1) What are the ends of understanding? 2) What is the nature of the cognitive strategy that we deploy to achieve those ends; and 3) Under what conditions is our deployment of this strategy effective toward achieving those ends? To articulate and defend this view, I build on the work of Elliot Sober to develop a taxonomy of psychologisms about understanding. Epistemological psychologism, a species of naturalism, is the view that justifying claims about understanding requires appealing to what scientists actually do when they seek understanding. Metaphysical psychologism is the view that the truth-makers for claims about understanding include facts about human psychology. I defend both views against objections. (shrink)

Carl Hempel (1965) argued that probabilistic hypotheses are limited in what they can explain. He contended that a hypothesis cannot explain why E is true if the hypothesis says that E has a probability less than 0.5. Wesley Salmon (1971, 1984, 1990, 1998) and Richard Jeffrey (1969) argued to the contrary, contending that P can explain why E is true even when P says that E’s probability is very low. This debate concerned noncontrastive explananda. Here, a view of (...) contrastive causal explanation is described and defended. It provides a new limit on what probabilistic hypotheses can explain; the limitation is that P cannot explain why E is true rather than A if P assign E a probability that is less than or equal to the probability that P assigns to A. The view entails that a true deterministic theory and a true probabilistic theory that apply to the same explanandum partition are such that the deterministic theory explains all the true contrastive propositions constructable from that partition, whereas the probabilistic theory often fails to do so. (shrink)

The problem of rational prediction, launched by Wesley Salmon, is without doubt the Achilles heel of the critical method defended by Popper. In this paper, I assess the response given both by Popper and by the popperian Alan Musgrave to this problem. Both responses are inadequate and thus the conclusion of Salmon is reinforced: without appeal to induction, there is no way to make of the practical prediction a rational action. Furthermore, the critical method needs to be (...) vindicated if one pretends that its application is suitable for the preference of a hypothesis. I argue that the nature of this vindication is such that it may be applied also to induction. Thus, to be a popperian is a good reason also to be an inductivist. (shrink)

Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in ontology or (...) metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)

In "Counting and Indeterminate Identity", N. Ángel Pinillos develops an argument that there can be no cases of `Split Indeterminate Identity'. Such a case would be one in which it was indeterminate whether a=b and indeterminate whether a=c, but determinately true that b≠c. The interest of the argument lies, in part, in the fact that it appears to appeal to none of the controversial claims to which similar arguments due to Gareth Evans and Nathan Salmon appeal. I argue for (...) two counter-claims. First, the formal argument fails to establish its conclusion, for essentially the same reason Evans's and Salmon's arguments fail to establish their conclusions. Second, the phenomena in which Pinillos is interested, which concern the cardinalities of sets of vague objects, manifest the existence of what Kit Fine called `penumbral connections', phenomena that the logics Pinillos considers are already known not to handle well. (shrink)

Causalists about explanation claim that to explain an event is to provide information about the causal history of that event. Some causalists also endorse a proportionality claim, namely that one explanation is better than another insofar as it provides a greater amount of causal information. In this chapter I consider various challenges to these causalist claims. There is a common and influential formulation of the causalist requirement – the ‘Causal Process Requirement’ – that does appear vulnerable to these anti-causalist challenges, (...) but I argue that they do not give us reason to reject causalism entirely. Instead, these challenges lead us to articulate the causalist requirement in an alternative way. This alternative articulation incorporates some of the important anti-causalist insights without abandoning the explanatory necessity of causal information. For example, proponents of the ‘equilibrium challenge’ argue that the best available explanations of the behaviour of certain dynamical systems do not appear to provide any causal information. I respond that, contrary to appearances, these equilibrium explanations are fundamentally causal, and I provide a formulation of the causalist thesis that is immune to the equilibrium challenge. I then show how this formulation is also immune to the ‘epistemic challenge’ – thus vindicating (a properly formulated version of) the causalist thesis. (shrink)

A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions. A surprising theorem about epistemic necessity is proved. A proposition p can be epistemically necessary for a knowing subject S even though p is /a posteriori/ and S does not know p. The identity relation (...) is well-behaved in metaphysically possible worlds but can go rogue in epistemically possible worlds. Whereas it can be epistemically possible that Lewis Carroll is not Charles Lutwidge Dodgson, this is not epistemically possible in the manner that anti-Millianism requires. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

There is a widespread belief that for their own safety and for the protection of wildlife, cats should be permanently kept indoors. Against this view, I argue that cat guardians have a duty to provide their feline companions with outdoor access. The argument is based on a sophisticated hedonistic account of animal well-being that acknowledges that the performance of species-normal ethological behavior is especially pleasurable. Territorial behavior, which requires outdoor access, is a feline-normal ethological behavior, so when a cat is (...) permanently confined to the indoors, her ability to flourish is impaired. Since cat guardians have a duty not to impair the well-being of their cats, the impairment of cat flourishing via confinement signifies a moral failing. Although some cats assume significant risks and sometimes kill wild animals when roaming outdoors, these important considerations do not imply that all cats should be deprived of the opportunity to access the outdoors. Indeed, they do not, by themselves, imply that any cat should be permanently kept indoors. (shrink)

Various prominent theories of pain assume that it is pain’s biological function to inform organisms about damage to their bodies. I argue that this is a mistake. First, there is no biological evidence to support the notion that pain was originally selected for its informative capacities, nor that it currently contributes to the fitness of organisms in this specific capacity. Second, neurological evidence indicates that modulating mechanisms in the nociceptive system systematically prevent pain from serving a primarily informative role. These (...) considerations threaten to undermine standard perceptual and representational accounts of pain. (shrink)

The topic is time travel of the sort depicted in H. G. Wells’ classic novel, The Time Machine—Wellsian time travel. The range of proper applicability of the concept of Wellsian time travel is investigated. The results of this investigation are applied to provide a new argument against the metaphysical possibility of time travel in absolute time. Alternatively, the argument is against the possibility of Wellsian time travel relative to a single temporal frame of reference. The argument leaves open the prospect (...) that an object nontrivially moves relative to one temporal reference frame from one time to another relative to another temporal reference frame. The argument does not turn on closed timelike curves or “causal loops” of any kind. It does however invoke the prospect of backward causation—a consequence of backward time travel in conjunction with common sense—but it invokes this possibility only in the weak sense of mere logical consistency. (shrink)

In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth for (...) present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Philosophers have long been fascinated by the stream of consciousness––thoughts, images, and bits of inner speech that dance across the inner stage. Yet for centuries, such “mind-wandering” was deemed private and thus resistant to empirical investigation. Recent developments in psychology and neuroscience have reinvigorated scientific interest in the stream of thought, leading some researchers to dub this “the era of the wandering mind”. Despite this flurry of progress, scientists have stressed that mind-wandering research requires firmer philosophical foundations. The time is (...) therefore ripe for the philosophy of mind-wandering. Our review begins with a foundational question: what is mind-wandering? We then investigate the significance of mind-wandering for general philosophical topics, namely mental action, introspection, and the norms of thinking and attention. (shrink)

Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

It is widely accepted in epistemology that knowledge is factive, meaning that only truths can be known. We argue that this theory creates a skeptical challenge: because many of our beliefs are only approximately true, and therefore false, they do not count as knowledge. We consider several responses to this challenge and propose a new one. We propose easing the truth requirement on knowledge to allow approximately true, practically adequate representations to count as knowledge. In addition to addressing the skeptical (...) challenge, this view also coheres with several previous theoretical proposals in epistemology. (shrink)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

The belief norm of academic publishing states that researchers should believe certain claims they publish. The purpose of this paper is to defend the belief norm of academic publishing. In its defense, the advantages and disadvantages of the belief norm are evaluated for academic research and for the publication system. It is concluded that while the norm does not come without costs, academic research systemically benefits from the belief norm and that it should be counted among those that sustain the (...) practice of academic publishing. (shrink)

Healthcare systems across the globe are struggling with increasing costs and worsening outcomes. This presents those responsible for overseeing healthcare with a challenge. Increasingly, policymakers, politicians, clinical entrepreneurs and computer and data scientists argue that a key part of the solution will be ‘Artificial Intelligence’ (AI) – particularly Machine Learning (ML). This argument stems not from the belief that all healthcare needs will soon be taken care of by “robot doctors.” Instead, it is an argument that rests on the classic (...) counterfactual definition of AI as an umbrella term for a range of techniques that can be used to make machines complete tasks in a way that would be considered intelligent were they to be completed by a human. Automation of this nature could offer great opportunities for the improvement of healthcare services and ultimately patients’ health by significantly improving human clinical capabilities in diagnosis, drug discovery, epidemiology, personalised medicine, and operational efficiency. However, if these AI solutions are to be embedded in clinical practice, then at least three issues need to be considered: the technical possibilities and limitations; the ethical, regulatory and legal framework; and the governance framework. In this article, we report on the results of a systematic analysis designed to provide a clear overview of the second of these elements: the ethical, regulatory and legal framework. We find that ethical issues arise at six levels of abstraction (individual, interpersonal, group, institutional, sectoral, and societal) and can be categorised as epistemic, normative, or overarching. We conclude by stressing how important it is that the ethical challenges raised by implementing AI in healthcare settings are tackled proactively rather than reactively and map the key considerations for policymakers to each of the ethical concerns highlighted. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

Benefit/cost analysis is a technique for evaluating programs, procedures, and actions; it is not a moral theory. There is significant controversy over the moral justification of benefit/cost analysis. When a procedure for evaluating social policy is challenged on moral grounds, defenders frequently seek a justification by construing the procedure as the practical embodiment of a correct moral theory. This has the apparent advantage of avoiding difficult empirical questions concerning such matters as the consequences of using the procedure. So, for example, (...) defenders of benefit/cost analysis (BCA) are frequently tempted to argue that this procedurejust isthe calculation of moral Tightness – perhaps that what itmeansfor an action to be morally right is just for it to have the best benefit-to-cost ratio given the accounts of “benefit” and “cost” that BCA employs. They suggest, in defense of BCA, that they have found the moral calculus – Bentham's “unabashed arithmetic of morals.” To defend BCA in this manner is to commit oneself to one member of a family of moral theories (let us call thembenefit/cost moral theoriesorB/C moral theories) and, also, to the view that if a procedure is (so to speak) the direct implementation of a correct moral theory, then it is a justified procedure. Neither of these commitments is desirable, and so the temptation to justify BCA by direct appeal to a B/C moral theory should be resisted; it constitutes an unwarranted short cut to moral foundations – in this case, an unsound foundation. Critics of BCA are quick to point out the flaws of B/C moral theories, and to conclude that these undermine the justification of BCA. But the failure to justify BCA by a direct appeal to B/C moral theory does not show that the technique is unjustified. There is hope for BCA, even if it does not lie with B/C moral theory. (shrink)

We distinguish between two categories of belief—thin belief and thick belief—and provide evidence that they approximate genuinely distinct categories within folk psychology. We use the distinction to make informative predictions about how laypeople view the relationship between knowledge and belief. More specifically, we show that if the distinction is genuine, then we can make sense of otherwise extremely puzzling recent experimental findings on the entailment thesis (i.e. the widely held philosophical thesis that knowledge entails belief). We also suggest that the (...) distinction can be applied to debates in the philosophy of mind and metaethics. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.